This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows"
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact for the OOPSLA'21 paper "Well-Typed Programs Can Go Wrong: A Study of Typing-Re...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact for the OOPSLA'21 paper "Well-Typed Programs Can Go Wrong: A Study of Typing-Re...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
DOI
Add to ORKG